$\forall$$g$:OMon, $a$, $b$:$\mid$$g$$\mid$. ($a$ $<$ $b$) $\Leftarrow\!\Rightarrow$ (($a$ $\leq$ $b$) \& ($\neg$($b$ $\leq$ $a$)))